Higher order predicate calculus
[计] 高阶谓词演算
🧩 词语组成解析
[经] 上扬
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
calculus
['kælkjələs]
n. [医]结石，石，积石，牙垢;[数]运算，演算，微积分（学）;
ule,ulus 后缀;表”小,少”#词根助记：calc石头(古时候用石头来计算)##calc 石灰,石头#词根助记：calc石头(古时候用石头来计算)
🗣️ 情景例句
Fortunately, I found his house at once.
很幸运地，我立刻找到他家。
This part of the country is very mountainous.
这个国家这一部分有很多山。
The officers got out and the prisoner stood to attention and saluted as they passed.
军官们下了车，战俘立正站好，并在他们从他面前经过时敬了礼。